More from this Author
Found 3 books by Mitsuhiro Okada (Editor)
Advances in Mathematical Logic
by Toshiyasu Arai (Editor), Makoto Kikuchi (Editor), Satoru Kuroda (Editor), Mitsuhiro Okada (Editor), Teruyuki Yorioka (Editor)
Formal to Practical Security
by Véronique Cortier (Editor), Claude Kirchner (Editor), Mitsuhiro Okada (Editor), Hideki Sakurada (Editor), Véronique Cortier (Editor)
Formal to Practical Security
by Veronique Cortier (Editor), Claude Kirchner (Editor), Mitsuhiro Okada (Editor), Hideki Sakurada (Editor)